learn(sp, sp, seq) wrapper around a learn rule
-- implements: age |Fred> => |37> learn(|op: age>, |Fred>, |37>)